From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท16h
๐Ÿ“Log Parsing
Flag this post
Horn Clauses
youtube.comยท3h
๐Ÿ‘‘Isabelle/HOL
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท22hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท1hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Ÿ”—Combinatory Logic
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
๐Ÿ’งLiquid Types
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.comยท50mยท
๐Ÿ—‚Data structures
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.orgยท16h
๐ŸŒณContext free grammars
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.orgยท5dยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.comยท20mยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post
Everything About Transformers
krupadave.comยท1d
๐Ÿ“Text Parsing
Flag this post
Vibe coding needs a spec, too
stackoverflow.blogยท12h
๐Ÿ”ŒInterface Evolution
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ŸŽฏGradual Typing
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.orgยท5hยท
Discuss: Hacker News
๐Ÿ”—Monadic Parsing
Flag this post
Build Your Own Forum with FastAPI: Step 8 - Full Text Search
dev.toยท9hยท
Discuss: DEV
๐Ÿ”Information Retrieval
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Oops, My UUIDs Collided
alexsci.comยท1hยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Flag this post